problem solving in artificial intelligence